'a * 'b -> 'a
